Use case diagram for airline reservation system